Optimal. Leaf size=67 \[ -\frac {\sqrt {1+\frac {d x^3}{c}} F_1\left (-\frac {2}{3};1,\frac {3}{2};\frac {1}{3};-\frac {b x^3}{a},-\frac {d x^3}{c}\right )}{2 a c x^2 \sqrt {c+d x^3}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.04, antiderivative size = 67, normalized size of antiderivative = 1.00, number of steps
used = 2, number of rules used = 2, integrand size = 24, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.083, Rules used = {525, 524}
\begin {gather*} -\frac {\sqrt {\frac {d x^3}{c}+1} F_1\left (-\frac {2}{3};1,\frac {3}{2};\frac {1}{3};-\frac {b x^3}{a},-\frac {d x^3}{c}\right )}{2 a c x^2 \sqrt {c+d x^3}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 524
Rule 525
Rubi steps
\begin {align*} \int \frac {1}{x^3 \left (a+b x^3\right ) \left (c+d x^3\right )^{3/2}} \, dx &=\frac {\sqrt {1+\frac {d x^3}{c}} \int \frac {1}{x^3 \left (a+b x^3\right ) \left (1+\frac {d x^3}{c}\right )^{3/2}} \, dx}{c \sqrt {c+d x^3}}\\ &=-\frac {\sqrt {1+\frac {d x^3}{c}} F_1\left (-\frac {2}{3};1,\frac {3}{2};\frac {1}{3};-\frac {b x^3}{a},-\frac {d x^3}{c}\right )}{2 a c x^2 \sqrt {c+d x^3}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [B] Leaf count is larger than twice the leaf count of optimal. \(425\) vs. \(2(67)=134\).
time = 10.36, size = 425, normalized size = 6.34 \begin {gather*} \frac {b d (3 b c-7 a d) x^6 \sqrt {1+\frac {d x^3}{c}} F_1\left (\frac {4}{3};\frac {1}{2},1;\frac {7}{3};-\frac {d x^3}{c},-\frac {b x^3}{a}\right )+\frac {8 a \left (-4 a c \left (-6 b^2 c x^3 \left (3 c+d x^3\right )+3 a^2 d \left (2 c+7 d x^3\right )+a b \left (-6 c^2-3 c d x^3+14 d^2 x^6\right )\right ) F_1\left (\frac {1}{3};\frac {1}{2},1;\frac {4}{3};-\frac {d x^3}{c},-\frac {b x^3}{a}\right )+3 x^3 \left (-3 b^2 c x^3 \left (c+d x^3\right )+a^2 d \left (3 c+7 d x^3\right )+a b \left (-3 c^2+7 d^2 x^6\right )\right ) \left (2 b c F_1\left (\frac {4}{3};\frac {1}{2},2;\frac {7}{3};-\frac {d x^3}{c},-\frac {b x^3}{a}\right )+a d F_1\left (\frac {4}{3};\frac {3}{2},1;\frac {7}{3};-\frac {d x^3}{c},-\frac {b x^3}{a}\right )\right )\right )}{\left (a+b x^3\right ) \left (8 a c F_1\left (\frac {1}{3};\frac {1}{2},1;\frac {4}{3};-\frac {d x^3}{c},-\frac {b x^3}{a}\right )-3 x^3 \left (2 b c F_1\left (\frac {4}{3};\frac {1}{2},2;\frac {7}{3};-\frac {d x^3}{c},-\frac {b x^3}{a}\right )+a d F_1\left (\frac {4}{3};\frac {3}{2},1;\frac {7}{3};-\frac {d x^3}{c},-\frac {b x^3}{a}\right )\right )\right )}}{48 a^2 c^2 (-b c+a d) x^2 \sqrt {c+d x^3}} \end {gather*}
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
Maple [C] Result contains higher order function than in optimal. Order 9 vs. order
6.
time = 0.45, size = 1084, normalized size = 16.18
method | result | size |
elliptic | \(-\frac {2 d^{2} x}{3 c^{2} \left (a d -b c \right ) \sqrt {\left (x^{3}+\frac {c}{d}\right ) d}}-\frac {\sqrt {d \,x^{3}+c}}{2 c^{2} a \,x^{2}}-\frac {2 i \left (-\frac {d^{2}}{3 \left (a d -b c \right ) c^{2}}-\frac {d}{4 a \,c^{2}}\right ) \sqrt {3}\, \left (-c \,d^{2}\right )^{\frac {1}{3}} \sqrt {\frac {i \left (x +\frac {\left (-c \,d^{2}\right )^{\frac {1}{3}}}{2 d}-\frac {i \sqrt {3}\, \left (-c \,d^{2}\right )^{\frac {1}{3}}}{2 d}\right ) \sqrt {3}\, d}{\left (-c \,d^{2}\right )^{\frac {1}{3}}}}\, \sqrt {\frac {x -\frac {\left (-c \,d^{2}\right )^{\frac {1}{3}}}{d}}{-\frac {3 \left (-c \,d^{2}\right )^{\frac {1}{3}}}{2 d}+\frac {i \sqrt {3}\, \left (-c \,d^{2}\right )^{\frac {1}{3}}}{2 d}}}\, \sqrt {-\frac {i \left (x +\frac {\left (-c \,d^{2}\right )^{\frac {1}{3}}}{2 d}+\frac {i \sqrt {3}\, \left (-c \,d^{2}\right )^{\frac {1}{3}}}{2 d}\right ) \sqrt {3}\, d}{\left (-c \,d^{2}\right )^{\frac {1}{3}}}}\, \EllipticF \left (\frac {\sqrt {3}\, \sqrt {\frac {i \left (x +\frac {\left (-c \,d^{2}\right )^{\frac {1}{3}}}{2 d}-\frac {i \sqrt {3}\, \left (-c \,d^{2}\right )^{\frac {1}{3}}}{2 d}\right ) \sqrt {3}\, d}{\left (-c \,d^{2}\right )^{\frac {1}{3}}}}}{3}, \sqrt {\frac {i \sqrt {3}\, \left (-c \,d^{2}\right )^{\frac {1}{3}}}{d \left (-\frac {3 \left (-c \,d^{2}\right )^{\frac {1}{3}}}{2 d}+\frac {i \sqrt {3}\, \left (-c \,d^{2}\right )^{\frac {1}{3}}}{2 d}\right )}}\right )}{3 d \sqrt {d \,x^{3}+c}}-\frac {i b^{2} \sqrt {2}\, \left (\munderset {\underline {\hspace {1.25 ex}}\alpha =\RootOf \left (b \,\textit {\_Z}^{3}+a \right )}{\sum }\frac {\left (-c \,d^{2}\right )^{\frac {1}{3}} \sqrt {2}\, \sqrt {\frac {i d \left (2 x +\frac {-i \sqrt {3}\, \left (-c \,d^{2}\right )^{\frac {1}{3}}+\left (-c \,d^{2}\right )^{\frac {1}{3}}}{d}\right )}{\left (-c \,d^{2}\right )^{\frac {1}{3}}}}\, \sqrt {\frac {d \left (x -\frac {\left (-c \,d^{2}\right )^{\frac {1}{3}}}{d}\right )}{-3 \left (-c \,d^{2}\right )^{\frac {1}{3}}+i \sqrt {3}\, \left (-c \,d^{2}\right )^{\frac {1}{3}}}}\, \sqrt {-\frac {i d \left (2 x +\frac {i \sqrt {3}\, \left (-c \,d^{2}\right )^{\frac {1}{3}}+\left (-c \,d^{2}\right )^{\frac {1}{3}}}{d}\right )}{2 \left (-c \,d^{2}\right )^{\frac {1}{3}}}}\, \left (i \left (-c \,d^{2}\right )^{\frac {1}{3}} \underline {\hspace {1.25 ex}}\alpha \sqrt {3}\, d -i \sqrt {3}\, \left (-c \,d^{2}\right )^{\frac {2}{3}}+2 \underline {\hspace {1.25 ex}}\alpha ^{2} d^{2}-\left (-c \,d^{2}\right )^{\frac {1}{3}} \underline {\hspace {1.25 ex}}\alpha d -\left (-c \,d^{2}\right )^{\frac {2}{3}}\right ) \EllipticPi \left (\frac {\sqrt {3}\, \sqrt {\frac {i \left (x +\frac {\left (-c \,d^{2}\right )^{\frac {1}{3}}}{2 d}-\frac {i \sqrt {3}\, \left (-c \,d^{2}\right )^{\frac {1}{3}}}{2 d}\right ) \sqrt {3}\, d}{\left (-c \,d^{2}\right )^{\frac {1}{3}}}}}{3}, \frac {b \left (2 i \left (-c \,d^{2}\right )^{\frac {1}{3}} \sqrt {3}\, \underline {\hspace {1.25 ex}}\alpha ^{2} d -i \left (-c \,d^{2}\right )^{\frac {2}{3}} \sqrt {3}\, \underline {\hspace {1.25 ex}}\alpha +i \sqrt {3}\, c d -3 \left (-c \,d^{2}\right )^{\frac {2}{3}} \underline {\hspace {1.25 ex}}\alpha -3 c d \right )}{2 d \left (a d -b c \right )}, \sqrt {\frac {i \sqrt {3}\, \left (-c \,d^{2}\right )^{\frac {1}{3}}}{d \left (-\frac {3 \left (-c \,d^{2}\right )^{\frac {1}{3}}}{2 d}+\frac {i \sqrt {3}\, \left (-c \,d^{2}\right )^{\frac {1}{3}}}{2 d}\right )}}\right )}{2 \left (a d -b c \right )^{2} \underline {\hspace {1.25 ex}}\alpha ^{2} \sqrt {d \,x^{3}+c}}\right )}{3 a \,d^{2}}\) | \(798\) |
risch | \(\text {Expression too large to display}\) | \(1076\) |
default | \(\text {Expression too large to display}\) | \(1084\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {1}{x^{3} \left (a + b x^{3}\right ) \left (c + d x^{3}\right )^{\frac {3}{2}}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} \int \frac {1}{x^3\,\left (b\,x^3+a\right )\,{\left (d\,x^3+c\right )}^{3/2}} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________